منابع مشابه
Vi-1 Vi. Suffix Dictionaries
Cosine Numeric Abstract, Cosine Logical Abstract, Overlap Logical Overlap Logical Abstract, Cosine Numeric Cosine Numeric Text, Cosine Numeric Text, Cosine Logical Text, Overlap Logical Abstract, Cosine Numeric Cosine Numeric Abstract, Cosine Logical Cosine Logical Title, Cosine Numeric EVALUATION MEASURE Normed. Recall Normed. Precision Normed. Recall Normed. Precision Normed. Recall Normed. P...
متن کامل36 Algorithm
Algol 68 is considerably more difficult to learn than Pascal, partly due to the unusual terminology of Algol 68, which has not been widely accepted. The defining document of Algol 68 is much more elaborate and precise than the Pascal Report, but is also much more difficult to understand than the shorter and less formal Pascal document. This applies, in particular, to the two-level context-sensi...
متن کاملPublication VI
In many domains data items are represented by vectors of counts; count data arises, for example, in bioinformatics or analysis of text documents represented as word count vectors. However, often the amount of data available from an interesting data source is too small to model the data source well. When several data sets are available from related sources, exploiting their similarities by trans...
متن کاملPublication VI
The precise computation of abstractions is a bottleneck in many approaches to CEGAR-based verification. In this paper, we propose a novel approach, based on the use of structural information. Rather than computing the abstraction as a single, monolithic quantification, we provide a structure-aware abstraction algorithm, based on two complementary steps. The first, highlevel step exploits the st...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ventana Informatica
سال: 2017
ISSN: 0123-9678
DOI: 10.30554/ventanainform.36.2395.2017